Начнем с фундаментальнейшего понятия логики — понятия «понятие». Выше (в главе 2) мы дали кибернетическое определение этого понятия в его аристотелевском варианте. Мы определили понятие как множество ситуаций на входе кибернетической системы. Владеть понятием — значит уметь его распознавать, т. е. уметь определить, принадлежит ли любая данная ситуация к множеству, характеризующему понятие, или не принадлежит. Это определение в равной степени относится и к сложным кибернетическим системам естественного происхождения, об устройстве которых мы имеем лишь общее представление (например, мозг животного), и к тем относительно простым системам, которые создаем мы сами с прикладными или исследовательскими целями.

В первом случае мы приходим к выводу, что система распознает некое понятие, на основе наблюдения за внешними проявлениями деятельности системы. Например, когда мы видим, что собака приходит в радостное возбуждение, заслышав голос хозяина, и совсем иначе реагирует на все остальные звуки, мы заключаем, что собака имеет понятие «голос хозяина». Это понятие вырабатывается у нее естественным путем, без каких-либо усилий со стороны экспериментатора. Чтобы выявить максимальные возможности мозга собаки, экспериментатор может ставить ее в необычайные условия и следить за ее реакцией. Много опытов такого рода было проведено И.П.Павловым и его школой. Если показать собаке фанерные круги и квадраты разного размера и цвета и после предъявления круга давать пищу, а после предъявления квадрата наказывать, то собака научится различать круг и квадрат и будет по-разному реагировать на предъявление этих фигур. Следовательно, собака способна распознавать некоторые общие (абстрактные) понятия, в данном случае — понятия круга и квадрата, отвлеченные от признаков размера и цвета. Значит, мы должны заключить, что собака владеет абстрактными понятиями «круг» и «квадрат».

Но, едва произнеся эту фразу, мы начинаем чувствовать, что такое заключение, пожалуй, было бы слишком поспешным. Утверждение, что собаке доступно понятие «голос хозяина» (имеется в виду, конечно, голос конкретного человека), можно принять без оговорок, но вот утверждение, что собаке доступно понятие квадрата, представляется в каком-то смысле верным, а в каком-то нет. Заметим это себе, чтобы вернуться к этому вопросу позже. А пока завершим экскурс в область умственных способностей собаки указанием на простейшие понятия, которые собаке заведомо недоступны. Предположим, что вы показываете собаке ящик, разделенный на две части, в каждой из которых находится несколько биллиардных шаров. Вы хотите заставить ее отличить случай, когда число шаров в обеих частях одинаково, от случая, когда число шаров различно. Можно держать пари, вы не достигнете цели. Понятие равночисленности собаке недоступно.

Кибернетические системы, обладающие способностью распознавания понятий, создаются также искусственно. В связи с кибернетизацией науки и производства их значение непрерывно возрастает. Для понимания общих принципов и конкретных механизмов работы мозга разработка искусственных распознающих устройств играет решающую роль. Эти устройства служат моделями, с помощью которых люди пытаются приподнять завесу над процессом мышления. Создание «искусственного мозга», выполняющего хотя бы частично те же функции, что и естественный мозг, дает указания о том, как подходить к исследованию деятельности естественного мозга. Интересно, что одним из первых результатов сравнения искусственных и естественных распознающих систем был вывод о чрезвычайно узкой целенаправленности, специализации естественных систем. В рамках своей специализации они достигают высокого совершенства, но зато оказываются совершенно бессильными, когда задача выходит за эти рамки. Распознавание человека по голосу — чрезвычайно трудная задача для искусственных кибернетических устройств, а мозг собаки решает ее без труда. В то же время простейшая для искусственной системы задача сравнения числа биллиардных шаров непосильна для собаки.

В главе 2 мы рассматривали распознающее кибернетическое устройство, на вход которого подавались сигналы от светочувствительных рецепторов, расположенных на экране. Ситуацию, т. е. совокупность значений всех сигналов от рецепторов, мы называли «картинкой»; с точностью до полутонов она совпадает с изображением на экране. Это устройство (распознаватель картинок) послужит нам для иллюстраций и в настоящей главе.

Примеры понятий, которые мы до сих пор приводили, укладывались в определение понятий как множества ситуаций. Но все ли понятия, которые представляются нам интуитивно ясными и проявляются в языке, таковы? Оказывается, не все. Возьмем, например, понятие, выражаемое предлогами «внутри» или «в» (в том же смысле). Если кому-нибудь не нравится, что понятие выражается предлогом, можно выразить его словосочетанием «находится в» или «нахождение в». Это понятие применимо к устройству, на вход которого подаются «картинки». Например, на рис. 6.1 пятно A находится внутри контура B. Но можем ли мы сопоставить понятию «внутри» какое-либо определенное множество картинок? Нет, не можем. Это видно, например, из рассмотрения картинок, изображенных на рис. 6.2. На картинке a пятно A находится внутри контура В, но не внутри контура C. На картинке b пятно A находится вне контура C, а пятно B — внутри него. Относить ли эти картинки к множеству ситуаций «внутри», которое нам надо было бы построить? Любой ответ будет неудовлетворительным и произвольным, ибо сам вопрос бессмыслен. Понятие «внутри» характеризует не картинку (ситуацию) в целом, а отношение между двумя определенными объектами — деталями картинки. Пока не указаны эти объекты — определенное пятно и определенный контур, ставить вопрос «внутри или не внутри» бессмысленно.

Понятия, выражающие свойства ситуации в целом, мы будем называть аристотелевскими, ибо логика Аристотеля есть как раз не что иное, как последовательная теория правильного использования таких понятий. Каждому аристотелевскому понятию соответствует определенное множество ситуаций, а именно тех ситуаций, когда свойство, выражаемое этим понятием, имеет место. Поэтому аристотелевское понятие можно также описать как некое множество или класс ситуаций (явлений, объектов — в том предельно общем смысле, в котором эти термины здесь употребляются, все они равнозначны друг другу и термину «нечто», который из них самый точный, но и самый неудобный из-за необходимости считаться с грамматикой). Поэтому же все законы аристотелевской логики легко выводятся из простейших свойств операций над множествами.

Рассмотрим классический пример силлогизма.

В этом рассуждении участвуют три аристотелевских понятия: «человек», «смертен» и «Сократ». Понятие «человек» характеризуется множеством ситуаций, в которых мы говорим: это — человек. То же относится и к остальным понятиям. Чтобы сделать наглядными свойства множеств, представим каждую ситуацию в виде точки внутри некоторого квадрата (рис. 6.3). Тогда этот квадрат будет олицетворять множество всех мыслимых ситуаций, что соответствует предельно общему понятию «нечто». Остальные понятия, которым соответствуют различные множества точек, будут изображаться различными областями в квадрате. Утверждение «все люди смертны», иначе говоря «каждый человек смертен», означает, что каждая точка, входящая в область «человек», входит также в область «смертен» («смертное существо»), т. е. область «человек» находится целиком в области «смертен». Точно так же вторая посылка силлогизма означает, что область «Сократ» находится целиком внутри области «человек». Отсюда следует, что область «Сократ» находится внутри области «смертен», т. е. верно утверждение «Сократ смертен».

Нечто

Рис. 6.3. Схема силлогизма о Сократе

Нечто

Рис. 6.4. Схема умозаключения disamis

На рис. 6.4 продемонстрирована справедливость следующей схемы умозаключения (disamis по логической терминологии).

Логика Аристотеля играла важную роль в развитии европейской культуры. Однако она недостаточно глубоко проникает в структуру нашего мышления, она неспособна отразить процесс расчленения ситуации на отдельные части (объекты) и исследования отношений между этими частями. Когда речь идет о свойствах объектов, аристотелевская логика вполне адекватна, ибо можно представить себе изолированный объект как некую ситуацию. Образуя множество таких ситуаций-объектов, мы получаем отвлеченное понятие, выражающее одно из свойств объекта. Не так обстоит дело с отношениями. Аристотелевская логика может выразить понятие о совокупности объектов, находящихся в данном отношении, но не имеет средств выражения понятия об отношении как таковом. Можно представить множество картинок, имеющих вид контура с пятном внутри; это множество порождает аристотелевское понятие (свойство) «быть контуром с пятном внутри». Но не существует аристотелевского понятия «быть внутри». Логика Аристотеля слишком глобальна, поверхностна. Возьмем такое умозаключение:

Умозаключение это правильно, но чтобы его обосновать, надо в явном виде добавить посылку о симметричности отношения «брат», которая здесь неявно подразумевается. Эту посылку можно выразить фразой:

Если х — брат у, то у — брат х.

Здесь буквами x и у обозначаются любые лица мужского пола. Однако такая символика выходит за пределы логики Аристотеля.

Можно ли на языке логики Аристотеля выразить этот силлогизм? Можно, если не рассматривать отдельных людей, а пары людей, точнее, упорядоченные пары, т. е. такие пары, где одному лицу приписывается номер один, а другому — номер два. Вот этот силлогизм совершенно законный с точки зрения аристотелевской логики.

Это громоздкое рассуждение, хотя оно формально и совпадает с предыдущим, бъет мимо цели, ибо оно не отражает главного в нашем исходном силлогизме — симметричности отношения «брат». Свойства «первый — брат второго» и «второй — брат первого» никак не расчленены, никак не связаны друг с другом и с тем фактом, что они прилагаются к объектам, имеющим вид упорядоченной пары.

Мы не случайно начали кибернетическое исследование понятий с аристотелевских понятий. Они проще, ибо допускают определение исключительно в терминах входных и выходных состояний, без обращения к внутренней структуре распознающей системы. Так было и в истории человеческой мысли. Сначала было осознано наличие аристотелевских понятий и только гораздо позже — отношений.

Так как в математике главное — это исследование отношений между объектами, аристотелевская логика совершенно недостаточна для выражения математических доказательств. Это было замечено давно; примеры из математики, которыми пользуется традиционная логика, говорят сами за себя, они чрезвычайно примитивны и неинтересны. До самого конца XIX в., когда началось создание новой («математической») логики, математика и логика развивались независимо.

В философии решающий удар аристотелевской логике нанес Гегель. Он показал своей диалектикой, что мир надо рассматривать не как совокупность объектов, обладающих некоторыми свойствами, а как совокупность объектов, находящихся в некоторых отношениях друг к другу. При этом свойства не исключаются, конечно, из рассмотрения, ибо понятие отношения является более общим, чем понятие свойства. Отношение может быть определено для произвольного числа объектов. В частности, число объектов может быть равно единице; такое отношение и есть свойство. Наиболее ясными интуитивно и в то же время наиболее важными являются парные отношения, т. е. отношения между двумя объектами. Два — минимальное число объектов при котором отношение перестает быть свойством и становится собственно отношением. Число два лежит в основе гегелевского метода что отражено в самом термине «диалектика».

Важнейшие черты диалектики Гегеля непосредственно вытекают из описания явлений в терминах отношений, а не свойств. Из такого подхода прежде всего следует учение о взаимодействии, взаимосвязанности всего сущего. Далее. Если два элемента находятся в соответствии, не противоречат друг другу, то они выступают как нечто целое и на первый план выходят их общие свойства, а взаимодействие, отношение между ними, отступает на второе место. Отношения между элементами, объектами проявляются постольку, поскольку они являются отношениями противоположности, противоречия, борьбы. Поэтому представление о борьбе противоположностей играет у Гегеля такую важную роль.

Рассматривая отношения между состоянием объекта в данный момент и состоянием этого же объекта в какой-то другой момент времени, мы приходим к понятию изменения. Изменение — это отношение между объектами, разделенными временным интервалом. На языке, оперирующем только со свойствами, но не с отношениями, изменение невыразимо. Самое большее, на что способен такой язык, это изобразить ряд никак не связанных друг с другом состояний объекта. Блестящим выражением этой неспособности является известная апория Зенона о летящей стреле. Рассмотрим летящую стрелу. Возьмем определенный момент времени. В этот момент стрела занимает определенное положение в пространстве. Возьмем другой момент времени. Стрела опять занимает вполне определенное положение в пространстве. То же относится и к любому другому моменту времени. Значит, стрела всегда занимает определенное положение в пространстве. Значит, она всегда на месте.

В аристотелевских понятиях мир представляется чем-то статическим, застывшим или, в лучшем случае, механически размноженным с некоторыми вариациями. Диалектика, напротив, сделав своим предметом исследование отношений, изучает вещи с точки зрения их изменения, движения, развития. Она вскрывает историческую обусловленность и относительность (от слова «отношения»!) вещей, которые при описании в аристотелевских понятиях представляются безусловными и вечными. Комбинация понятия противоположности с понятием отношения между состояниями в последовательные моменты времени порождает понятие об отрицании и отрицании отрицания. Диалектика динамична и революционна.

По отношению к аристотелевской логике диалектика Гегеля выступила в качестве разрушительной силы, и не только по причине своей «общей» революционности, а еще и потому, что она указала на множество противоречий, которые возникают, когда описание явлений, которое требует языка отношений, втискивается в узкие рамки языка свойств. У Гегеля и его последователей эти противоречия окружались зачастую неким ореолом возвышенности и, можно сказать, полумистической значительности. Здесь сказалось, с одной стороны, идеалистическая направленность философии Гегеля, а с другой — то общее свойство новых учений, теорий, движений, что на начальных этапах своего развития они, стараясь высвободиться из рамок старого, предпочитают парадоксальную, преувеличенную форму, приобретают героический, романтический характер. Диалектика Гегеля — это героическая эпоха новой логики, когда старый логический формализм был сломан, а новый еще не создан, и поэтому противоречивым и не поддающимся формализации («диалектическим») казалось даже то, что впоследствии оказалось прекрасно упорядоченным и формализованным. Современному мышлению, свободно пользующемуся языком отношений и вооруженному анализом логических понятий и конструкций, гегелевский стиль мышления представляется темным мудрствованием по поводу ясных вещей. Следующее рассуждение представляет собой грубо упрощенную, карикатурную схему гегелевского диалектического противоречия, показывающую, откуда это противоречие возникает.

Поставим вопрос: является ли число 1000 большим или маленьким? Оно большое, так как оно больше единицы. Оно маленькое, так как оно много меньше миллиона. Значит, оно и большое и небольшое одновременно. Диалектическое противоречие. Большое есть и в то же время небольшое, A есть не A.

Понятия «большое» и «маленькое» рассматривались здесь как свойства объектов (чисел). На самом же деле это не свойства, а замаскированные (с помощью грамматической категории прилагательного) отношения. Точный смысл можно вложить только в понятия «больше» и «меньше». Если с этой точки зрения разобрать приведенное выше рассуждение, то оно окажется просто бессмысленным. Эта карикатура направлена не против Гегеля — его заслуги в создании новой логики неоспоримы, а против тех, кто некритически относится к диалектическому методу Гегеля и во второй половине XX в. пропагандирует образ мышления первой половины XIX в., игнорируя огромный прогресс, достигнутый логикой за полтора столетия.

Решающим фактором в прогрессе логики была ее математизация (конец XIX – начало XX вв.). Математизация логики была порождена потребностями математики и осуществлена математиками. Разрыв между математикой и логикой был, наконец, преодолен. Расширив свой язык и математизировав его, логика стала пригодной для описания и исследования математического доказательства. С другой стороны, для решения логических проблем стали применяться математические методы.

Завоевав плацдарм в области математики, новая логика стала проникать в естественные науки и философию. При этом роль собственно математического элемента (использование математических моделей) упала. Тем не менее всю современную логику часто называют «математической» по причине ее языка и происхождения.

Прежде чем продвигаться дальше в анализе языка и мышления, нам надо дать краткий набросок современной логики. Для наших целей достаточно рассмотреть только язык современной логики и те понятия, которые связаны с языком. Понятия, связанные с логическим выводом (доказательством), мы пока оставим в стороне.

Современная логика делит все сущее на объекты (или предметы) и высказывания (или утверждения). В естественном языке высказывания изображаются предложениями или наборами предложений, а объекты — словами и словосочетаниями, входящими в состав предложения. Примеры объектов: «цапля», «дядя Коля», «председатель колхоза». Примеры высказываний: «цапля сдохла», «дядю Колю выбрали председателем колхоза». Чаще всего объекты выражаются существительными, но это не обязательно. Например, «курить» — объект в высказывании «курить вредно». В приложении к математике объекты обычно называются термами, а высказывания соотношениями.

Примеры термов:

• 3.14.
• ax² + bx + c.
• _a∫^bf(z)dz.

Примеры соотношений:

• aх² + bx + c = 0.
• 0 < z < 1.
• Каково бы ни было натуральное число n > 1, найдется простое число р, которое является делителем числа n.
• Сумма квадратов катетов равна квадрату гипотенузы.

Понятия «объект» и «высказывание» считаются в логике первичными, интуитивно ясными и неопределяемыми. Формальное различие между ними состоит в том, что о высказывании имеет смысл говорить, что оно является истинным или ложным. Так, третий и четвертый примеры математических соотношений представляют собой истинные высказывания, а первое и второе соотношения могут быть истинными или ложными в зависимости от значения переменных х и z. К объектам понятия истинности и ложности неприменимы.

Объекты и высказывания, которые считаются элементарными, т. е. не расчлененными на отдельные составные части, обозначаются в логике буквами. Объекты обычно обозначаются малыми латинскими буквами, а высказывания — большими. Мы будем придерживаться этой символики, но дополнительно введем еще одно соглашение. Для ясности записи и уменьшения словесных пояснений будем иногда обозначать элементарные объекты и высказывания словами и словосочетаниями, взятыми в кавычки. Следовательно, словосочетания в кавычках будут рассматриваться на равных правах с буквами.

Объекты и высказывания, которые не являются элементарными, конструируются, очевидно, из других объектов и высказываний. Мы должны указать теперь способ конструирования.

При наличии двух типов элементов (объекты и высказывания) и предполагая, что элементы, служащие строительным материалом, принадлежат все к одному типу, мы получаем четыре возможных типа конструкций, которые мы сведем в следующую таблицу.

Широко употребительных логических связок пять. Это отрицание (изображается знаком ¬), конъюнкция (знак ∧), дизъюнкция (знак ∨), импликация (знак ⊃) и эквивалентность (знак ≡).

Высказывание ¬A (читается «не A») означает, что высказывание A ложно. Иначе говоря, ¬A истинно тогда, когда A ложно, и ложно тогда, когда A истинно.

Высказывание A ∧ B (читается «A и B») означает утверждение, что верно и A, и B. Оно верно только в том случае, если верны оба высказывания A и B.

Высказывание A ∨ B («A или B») верно, если верно хотя бы одно из высказываний A и B.

Высказывание A ⊃ B читается «A влечет B» или «если A, то B». Оно неверно, если A истинно, B ложно, и верно во всех остальных случаях.

Наконец, высказывание A ≡ B верно в том случае, если высказывания A и B либо оба истинны, либо оба ложны.

Для обозначения структуры связей пользуются скобками подобно тому, как это делается в алгебре для обозначения порядка выполнения арифметических действий. Так, например, высказывание ¬A ∧ B означает «A неверно, а B верно», а высказывание ¬(A ∧ B) — «неверно, что A и B оба верны». И так же, как в алгебре, для уменьшения числа скобок устанавливается порядок старшинства связок по силе связи. Выше мы перечислили связки в порядке ослабления связи. Например, конъюнкция связывает сильнее, чем импликация, поэтому высказывание A ⊃ B ∧ C понимается как A ⊃ (B ∧ C), но не как (A ⊃ B) ∧ C. Это соответствует тому, что в алгебре a + b × c означает a + (b × c), но не (a + b) × c.

Приведем несколько примеров составных высказываний.

Известная скороговорка утверждает: «цапля чахла, цапля сохла, цапля сдохла». Это высказывание можно записать в виде: «цапля чахла» ∧ «цапля сохла» ∧ «цапля сдохла».

Соотношение 0 < Z < 1 есть конъюнкция «Z > 0» ∧ «Z < 1», a соотношение |Z| > 1 — дизъюнкция «Z > 1» ∨ «Z < -1». Определение логической связки ≡ данное выше, можно записать так:

[(A ≡ B) ⊃ (A ∧ B) ∨ (¬A ∧ ¬B)] ∧ [(A ∧ B) ∨ (¬A ∧ ¬B) ⊃ (A ≡ B)]

Предоставляем читателю перевести на обычный язык следующее высказывание:

«Свет включен» ∧ «Лампочка не горит» ⊃ «Нет электричества» ∨ «Перегорели пробки» ∨ «Перегорела лампочка».

Если считать, что высказывания могут быть только истинными или ложными и, сверх этого, о высказывании ничего сказать нельзя, то перечисленных связок достаточно, чтобы выразить все мыслимые конструкции из высказываний. Достаточно даже двух связок, например отрицания и конъюнкции или отрицания и дизъюнкции. Такая ситуация имеет место, в частности, в отношении утверждений математики. Поэтому в математической логике других связок не используется.

Однако естественный язык отражает большее разнообразие в оценке высказываний, чем просто деление их на истинные и ложные. Например, высказывание можно рассматривать как бессмысленное или как недостоверное, хотя и возможное («в этом лесу, наверное, есть волки»). Этим вопросам посвящены специальные разделы логики, в которых находятся другие связки. Большого значения для современной науки эти разделы (в отличие от классической математической логики) не имеют, и мы их касаться не будем.

Конструкция, сопоставляющая нескольким объектам высказывание, называется предикатом. Предикаты делятся на одноместные, двухместные, трехместные и т.д. в соответствии с числом объектов, которого они требуют. Для записи их используют функциональные обозначения. Предикат можно записать в виде функции с незаполненными местами для аргументов, например

P( ), L( , ), I( , , )

или же в виде

P(x), L(z, y), I(x, y, z)

оговорив, что x, y, z — предметные переменные, т. е. символы, которые в конечном счете должны быть заменены на объекты, но какие — пока неизвестно. Впрочем, вторая форма изображает, строго говоря, уже не предикат, а высказывание, содержащее предметные переменные. Вместо больших букв мы будем также использовать словосочетания в кавычках, например,

«красный»(x), «между»(x, у, z)

и специальные математические знаки, например,

<(х, у).

Одноместный предикат выражает свойство объекта, предикат более чем с одним аргументом — отношение между объектами. Если места для аргументов в предикате заполнены, то мы имеем дело с высказыванием, утверждающим наличие данного свойства или отношения. Высказывание

«красный»(«мяч»)

означает, что «мяч» обладает свойством «красный». Конструкция

<(a, b)

равнозначна соотношению (неравенству) a < b.

Соединяя предикатные конструкции логическими связками, мы получаем более сложные высказывания. Например, соотношение |z| > 1, которое мы раньше записывали, не расчленяя высказываний на элементы, мы запишем теперь в виде

>(z, 1) ∨ <(z, -1).

В математике большую роль играют утверждения о всеобщности данного свойства и о существовании хотя бы одного объекта, обладающего данным свойством. Для записи этих утверждений вводятся так называемые кванторы: квантор всеобщности ∀ и квантор существования ∃. Допустим, что некоторое высказывание S содержит переменную (неопределенный объект) х, поэтому будем записывать его в виде S(x). Тогда высказывание

(∀x)S(x)

означает, что для всех х имеет место S(x), а высказывание

(∃x)S(x)

состоит в утверждении, что существует хотя бы один объект х такой, что для него верно высказывание S(x).

Переменная, входящая в высказывание под знаком квантора, называется связанной переменной, ибо высказывание от этой переменной не зависит, подобно тому как сумма

_i=n∑ ^mS_i

не зависит от индекса i. Связанную переменную можно заменить любой другой буквой, не совпадаюшей с остальными переменными, и от этого смысл высказывания не изменится. Переменная, которая не является связанной, называется свободной. Высказывание зависит только от свободных переменных, которые оно содержит.

Примеры высказываний с кванторами:

• (∀х)(∀у)(«брат»(х, у) ∧ «мужчина»(у)) ⊃ «брат»(у, x).
  Для всякого х и всякого у, если х — брат у и у — мужчина, то у — брат x.
• Если через D(x, y) обозначить высказывание «x является делителем у», то одно из соотношений, приведенных выше в качестве примера высказываний, изобразится в виде
  (∀n)(>(n, «1») ⊃ (∃p)D(p, n)).
• (∃x)W(x) ⊃ ¬(∀x) ¬W(x).
  Это соотношение верно для любого высказывания W(x) и показывает, что имеет место связь между кванторами существования и всеобщности. Из существования объекта х, для которого верно W(x), следует, что неверно утверждение, будто для всех х W(x) неверно.

Квантор — это тоже в сущности логическая связка. Приписывание квантора превращает высказывание в новое высказывание, которое содержит на одну свободную переменную меньше. Отличие от связок, которое мы рассматривали выше, состоит в том, что, кроме высказывания, надо указать еще свободную переменную, которую надо связать. Связывание переменной подразумевает подстановку вместо нее конкретных объектов. Если число объектов, которые могут быть подставлены вместо переменной, конечно, то кванторы можно рассматривать просто как удобные сокращения, ибо они могут быть выражены через логические связки — конъюнкцию и дизъюнкцию. Пусть переменная х может принимать n значений, которые мы обозначим буквами х₁, х₂,..., x_n. Тогда имеют место следующие эквивалентности:

(∀x)W(x) ≡ W(x₁) ∧ W(x₂) ∧ ... ∧ W(x_n),

(∃x)W(x) ≡ W(x₁) ∨ W(x₂) ∨ ... ∨ W(x_n).

Третья строка таблицы, приведенной в разделе 6.6, описывает конструкцию, которая высказыванию сопоставляет объект. В естественных языках эта конструкция употребляется чрезвычайно широко. Когда мы говорим «красный мяч», мы имеем в виду объект «мяч», который обладает свойством «красный», т. е. такой, что верно высказывание «красный» («мяч»). Высказывание об объекте мы переносим в прилагательное, относящееся к существительному, которым мы обозначили объект, в других случаях для этой цели могут служить причастия, причастные обороты, обороты со связками «который», «такой, что». Если мы пойдем дальше в этом анализе, то обнаружим, что и существительное, подобно прилагательному, указывает в первую очередь на определенное свойство (свойства) объекта. Слово «мяч», как и слово «красный», изображает некоторый класс объектов и ему можно сопоставить одноместный предикат «является мячом»(х), или просто «мяч»(х). Тогда «красный мяч» это такой предмет a, что верны высказывания «мяч»(a) и «красный»(a), иначе говоря, верно высказывание

«мяч»(a) ∧ «красный»(a)

Обратите внимание: в логической записи фигурирует три независимых элемента — буква a, предметы «мяч» и «красный», а в записи на естественном языке их остается только два «красный» и «мяч». Однако буква a, которую в логическую запись вводят для того, чтобы идентифицировать данный объект, отличить его от других, и которую поэтому называют идентификатором, не совсем исчезла в естественной записи. Она перешла в понятие «мяч», превратив его из свойства в предмет! В отличие от слова «красный» слово «мяч» идентифицирует — вы можете сказать «это тот мяч, который мы потеряли вчера» или «я имею в виду тот самый мяч, о котором говорил в предыдущей фразе».

Что же такое «предмет»?